loop invariants

join shbcf.ru